operator associativity in prolog